翻訳と辞書 Words near each other ・ Linear genetic programming ・ Linear gingival erythema ・ Linear grammar ・ Linear hashing ・ Linear Heat Detection ・ Linear IgA bullous dermatosis ・ Linear independence ・ Linear induction motor ・ Linear inequality ・ Linear Integrated Systems ・ Linear interpolation ・ Linear ion trap ・ Linear least squares ・ Linear least squares (mathematics) ・ Linear Lie algebra ・ Linear logic ・ Linear low-density polyethylene ・ Linear map ・ Linear matrix inequality ・ Linear medium ・ Linear Men ・ Linear model ・ Linear model of innovation ・ Linear molecular geometry ・ Linear motion ・ Linear motor ・ Linear Motor Girl ・ Linear multistep method ・ Linear network coding ・ Linear no-threshold model Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Linear logic ： ウィキペディア英語版 Linear logic Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics, as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction. Linear logic lends itself to many different presentations, explanations and intuitions. Proof-theoretically, it derives from an analysis of classical sequent calculus in which uses of (the structural rules) contraction and weakening are carefully controlled. Operationally, this means that logical deduction is no longer merely about an ever-expanding collection of persistent "truths", but also a way of manipulating ''resources'' that cannot always be duplicated or thrown away at will. In terms of simple denotational models, linear logic may be seen as refining the interpretation of intuitionistic logic by replacing cartesian closed categories by symmetric monoidal categories, or the interpretation of classical logic by replacing boolean algebras by C *-algebras. ==Connectives, duality, and polarity== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Linear logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.